a diophantine equation